Optimal. Leaf size=97 \[ -\frac {4 b n \sqrt {f+g x}}{g}+\frac {4 b \sqrt {e f-d g} n \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )}{\sqrt {e} g}+\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 97, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {2442, 52, 65,
214} \begin {gather*} \frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}+\frac {4 b n \sqrt {e f-d g} \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )}{\sqrt {e} g}-\frac {4 b n \sqrt {f+g x}}{g} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 52
Rule 65
Rule 214
Rule 2442
Rubi steps
\begin {align*} \int \frac {a+b \log \left (c (d+e x)^n\right )}{\sqrt {f+g x}} \, dx &=\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}-\frac {(2 b e n) \int \frac {\sqrt {f+g x}}{d+e x} \, dx}{g}\\ &=-\frac {4 b n \sqrt {f+g x}}{g}+\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}-\frac {(2 b (e f-d g) n) \int \frac {1}{(d+e x) \sqrt {f+g x}} \, dx}{g}\\ &=-\frac {4 b n \sqrt {f+g x}}{g}+\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}-\frac {(4 b (e f-d g) n) \text {Subst}\left (\int \frac {1}{d-\frac {e f}{g}+\frac {e x^2}{g}} \, dx,x,\sqrt {f+g x}\right )}{g^2}\\ &=-\frac {4 b n \sqrt {f+g x}}{g}+\frac {4 b \sqrt {e f-d g} n \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )}{\sqrt {e} g}+\frac {2 \sqrt {f+g x} \left (a+b \log \left (c (d+e x)^n\right )\right )}{g}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.06, size = 83, normalized size = 0.86 \begin {gather*} \frac {2 \left (\frac {2 b \sqrt {e f-d g} n \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {f+g x}}{\sqrt {e f-d g}}\right )}{\sqrt {e}}+\sqrt {f+g x} \left (a-2 b n+b \log \left (c (d+e x)^n\right )\right )\right )}{g} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.96, size = 140, normalized size = 1.44
method | result | size |
derivativedivides | \(\frac {2 \sqrt {g x +f}\, a +2 b \ln \left (c \left (\frac {\left (g x +f \right ) e +d g -e f}{g}\right )^{n}\right ) \sqrt {g x +f}-4 b n \sqrt {g x +f}+\frac {4 b n \arctan \left (\frac {e \sqrt {g x +f}}{\sqrt {\left (d g -e f \right ) e}}\right ) d g}{\sqrt {\left (d g -e f \right ) e}}-\frac {4 b e n \arctan \left (\frac {e \sqrt {g x +f}}{\sqrt {\left (d g -e f \right ) e}}\right ) f}{\sqrt {\left (d g -e f \right ) e}}}{g}\) | \(140\) |
default | \(\frac {2 \sqrt {g x +f}\, a +2 b \ln \left (c \left (\frac {\left (g x +f \right ) e +d g -e f}{g}\right )^{n}\right ) \sqrt {g x +f}-4 b n \sqrt {g x +f}+\frac {4 b n \arctan \left (\frac {e \sqrt {g x +f}}{\sqrt {\left (d g -e f \right ) e}}\right ) d g}{\sqrt {\left (d g -e f \right ) e}}-\frac {4 b e n \arctan \left (\frac {e \sqrt {g x +f}}{\sqrt {\left (d g -e f \right ) e}}\right ) f}{\sqrt {\left (d g -e f \right ) e}}}{g}\) | \(140\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.41, size = 180, normalized size = 1.86 \begin {gather*} \left [\frac {2 \, {\left (\sqrt {-{\left (d g - f e\right )} e^{\left (-1\right )}} b n \log \left (-\frac {d g - {\left (g x + 2 \, f\right )} e - 2 \, \sqrt {g x + f} \sqrt {-{\left (d g - f e\right )} e^{\left (-1\right )}} e}{x e + d}\right ) + {\left (b n \log \left (x e + d\right ) - 2 \, b n + b \log \left (c\right ) + a\right )} \sqrt {g x + f}\right )}}{g}, -\frac {2 \, {\left (2 \, \sqrt {d g - f e} b n \arctan \left (-\frac {\sqrt {g x + f} e^{\frac {1}{2}}}{\sqrt {d g - f e}}\right ) e^{\left (-\frac {1}{2}\right )} - {\left (b n \log \left (x e + d\right ) - 2 \, b n + b \log \left (c\right ) + a\right )} \sqrt {g x + f}\right )}}{g}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 326 vs.
\(2 (88) = 176\).
time = 16.74, size = 326, normalized size = 3.36 \begin {gather*} \begin {cases} \frac {- \frac {2 a f}{\sqrt {f + g x}} - 2 a \left (- \frac {f}{\sqrt {f + g x}} - \sqrt {f + g x}\right ) - 2 b f \left (\frac {2 e n \operatorname {atan}{\left (\frac {1}{\sqrt {\frac {e}{d g - e f}} \sqrt {f + g x}} \right )}}{\sqrt {\frac {e}{d g - e f}} \left (d g - e f\right )} + \frac {\log {\left (c \left (d + e x\right )^{n} \right )}}{\sqrt {f + g x}}\right ) - 2 b \left (- \frac {2 e n \left (- \frac {g \sqrt {f + g x}}{e} - \frac {g \operatorname {atan}{\left (\frac {1}{\sqrt {\frac {e}{d g - e f}} \sqrt {f + g x}} \right )}}{e \sqrt {\frac {e}{d g - e f}}}\right )}{g} - f \left (\frac {2 e n \operatorname {atan}{\left (\frac {1}{\sqrt {\frac {e}{d g - e f}} \sqrt {f + g x}} \right )}}{\sqrt {\frac {e}{d g - e f}} \left (d g - e f\right )} + \frac {\log {\left (c \left (d - \frac {e f}{g} + \frac {e \left (f + g x\right )}{g}\right )^{n} \right )}}{\sqrt {f + g x}}\right ) - \sqrt {f + g x} \log {\left (c \left (d - \frac {e f}{g} + \frac {e \left (f + g x\right )}{g}\right )^{n} \right )}\right )}{g} & \text {for}\: g \neq 0 \\\frac {a x + b \left (- e n \left (- \frac {d \left (\begin {cases} \frac {x}{d} & \text {for}\: e = 0 \\\frac {\log {\left (d + e x \right )}}{e} & \text {otherwise} \end {cases}\right )}{e} + \frac {x}{e}\right ) + x \log {\left (c \left (d + e x\right )^{n} \right )}\right )}{\sqrt {f}} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 5.87, size = 110, normalized size = 1.13 \begin {gather*} \frac {2 \, {\left ({\left (2 \, {\left (\frac {{\left (d g - f e\right )} \arctan \left (\frac {\sqrt {g x + f} e}{\sqrt {d g e - f e^{2}}}\right ) e^{\left (-1\right )}}{\sqrt {d g e - f e^{2}}} - \sqrt {g x + f} e^{\left (-1\right )}\right )} e + \sqrt {g x + f} \log \left (x e + d\right )\right )} b n + \sqrt {g x + f} b \log \left (c\right ) + \sqrt {g x + f} a\right )}}{g} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {a+b\,\ln \left (c\,{\left (d+e\,x\right )}^n\right )}{\sqrt {f+g\,x}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________